The classification of 2-compact groups

We prove that any connected 2-compact group is classified by its 2-adic root datum, and in particular the exotic 2-compact group DI(4), constructed by Dwyer-Wilkerson, is the only simple 2-compact group not arising as the 2-completion of a compact connected Lie group. Combined with our earlier work with Moeller and Viruel for p odd, this establishes the full classification of p-compact groups, stating that, up to isomorphism, there is a one-to-one correspondence between connected p-compact groups and root data over the p-adic integers. As a consequence we prove the maximal torus conjecture, giving a one-to-one correspondence between compact Lie groups and finite loop spaces admitting a maximal torus. Our proof is a general induction on the dimension of the group, which works for all primes. It refines the Andersen-Grodal-Moeller-Viruel methods to incorporate the theory of root data over the p-adic integers, as developed by Dwyer-Wilkerson and the authors, and we show that certain occurring obstructions vanish, by relating them to obstruction groups calculated by Jackowski-McClure-Oliver in the early 1990s.Comment: 47 page

The C*-algebra of an affine map on the 3-torus

We study the C*-algebra of an affine map on a compact abelian group and give necessary and sufficient conditions for strong transitivity when the group is a torus. The structure of the C*-algebra is completely determined for all strongly transitive affine maps on a torus of dimension one, two or three

Reduced, tame and exotic fusion systems

We define here two new classes of saturated fusion systems, reduced fusion systems and tame fusion systems. These are motivated by our attempts to better understand and search for exotic fusion systems: fusion systems which are not the fusion systems of any finite group. Our main theorems say that every saturated fusion system reduces to a reduced fusion system which is tame only if the original one is realizable, and that every reduced fusion system which is not tame is the reduction of some exotic (nonrealizable) fusion system

Automorphisms of p-compact groups and their root data

We construct a model for the space of automorphisms of a connected p-compact group in terms of the space of automorphisms of its maximal torus normalizer and its root datum. As a consequence we show that any homomorphism to the outer automorphism group of a p-compact group can be lifted to a group action, analogous to a classical theorem of de Siebenthal for compact Lie groups. The model of this paper is used in a crucial way in our paper ``The classification of 2-compact groups'', where we prove the conjectured classification of 2-compact groups and determine their automorphism spaces.Comment: 24 pages. Introduction restructured and title changed (from "Automorphisms of root data, maximal torus normalizers, and p-compact groups"). Various other adjustments mad

Spaces with Noetherian cohomology

Is the cohomology of the classifying space of a p-compact group, with Noetherian twisted coefficients, a Noetherian module? In this paper we provide, over the ring of p-adic integers, such a generalization to p-compact groups of the Evens-Venkov Theorem. We consider the cohomology of a space with coefficients in a module, and we compare Noetherianity over the field with p elements with Noetherianity over the p-adic integers, in the case when the fundamental group is a finite p-grou

The Steenrod problem of realizing polynomial cohomology rings

In this paper we completely classify which graded polynomial R-algebras in finitely many even degree variables can occur as the singular cohomology of a space with coefficients in R, a 1960 question of N. E. Steenrod, for a commutative ring R satisfying mild conditions. In the fundamental case R = Z, our result states that the only polynomial cohomology rings over Z which can occur, are tensor products of copies of H^*(CP^\infty;Z) = Z[x_2], H^*(BSU(n);Z) = Z[x_4,x_6,...,x_{2n}], and H^*(BSp(n):Z) = Z[x_4,x_8,...,x_{4n}] confirming an old conjecture. Our classification extends Notbohm's solution for R = F_p, p odd. Odd degree generators, excluded above, only occur if R is an F_2-algebra and in that case the recent classification of 2-compact groups by the authors can be used instead of the present paper. Our proofs are short and rely on the general theory of p-compact groups, but not on classification results for these.Comment: 14 pages. v3: Final version. To appear in Journal of Topolog

Spaces with Noetherian cohomology

Is the cohomology of the classifying space of a p-compact group, with Noetherian twisted coefficients, a Noetherian module? This note provides, over the ring of p-adic integers, such a generalization to p-compact groups of the Evens-Venkov Theorem. We consider the cohomology of a space with coefficients in a module, and we compare Noetherianity over the field with p elements, with Noetherianity over the p-adic integers, in the case when the fundamental group is a finite p-group.Comment: 12 page

A finite loop space not rationally equivalent to a compact Lie group

We construct a connected finite loop space of rank 66 and dimension 1254 whose rational cohomology is not isomorphic as a graded vector space to the rational cohomology of any compact Lie group, hence providing a counterexample to a classical conjecture. Aided by machine calculation we verify that our counterexample is minimal, i.e., that any finite loop space of rank less than 66 is in fact rationally equivalent to a compact Lie group, extending the classical known bound of 5.Comment: 8 page